(assert (forall
